package edu.pku.sei.autounit.reflect;

public interface Enum extends Type{
	String []getEnumConstants();
}
